Skip to content

thread VM and WASM for stack traces#299

Merged
veljkovranic merged 7 commits into
mainfrom
source_location_final
Jul 15, 2026
Merged

thread VM and WASM for stack traces#299
veljkovranic merged 7 commits into
mainfrom
source_location_final

Conversation

@veljkovranic

@veljkovranic veljkovranic commented Jul 13, 2026 •
edited
Loading

Copy link
Copy Markdown
Collaborator
  • Preserve source locations through compilation.
  • Add source-aware VM stack traces.
  • Emit DWARF source locations for WASM.

@reilabs reilabs deleted a comment from github-actions Bot Jul 13, 2026
@reilabs reilabs deleted a comment from github-actions Bot Jul 13, 2026
@iamrecursion iamrecursion added the enhancement New feature or request label Jul 14, 2026
@iamrecursion

iamrecursion commented Jul 14, 2026

Copy link
Copy Markdown
Collaborator

Hm. I'm not a huge fan of how this grows bytecode and WASM. Have you explored split debuginfo for the LLVM backend and also an equivalent for the bytecode? Either way, I think we should have a flag to exclude it from the binary and keep using that for our size measurements (maybe add new columns for the size with debuginfo).

@reilabs reilabs deleted a comment from github-actions Bot Jul 14, 2026
@reilabs reilabs deleted a comment from github-actions Bot Jul 14, 2026
@github-actions

github-actions Bot commented Jul 15, 2026

Copy link
Copy Markdown
Contributor

Overall success rate on test cases: 75.6%

Positive Changes

WASM Size (bytes) decreased (420 test(s))
Test Before After Change
noir_tests/anticipated_fold_orphan_reclaim 186940 26456 -160484 (-85.8%)
noir_tests/anticipated_witness_fold 191028 30544 -160484 (-84.0%)
noir_tests/argpromo_alias_args 187833 27349 -160484 (-85.4%)
noir_tests/argpromo_array_deferred 189883 29399 -160484 (-84.5%)
noir_tests/argpromo_loop_accum 188904 28420 -160484 (-85.0%)
noir_tests/argpromo_multi_param 188410 27926 -160484 (-85.2%)
noir_tests/argpromo_readonly 186937 26453 -160484 (-85.8%)
noir_tests/argpromo_readwrite 187605 27121 -160484 (-85.5%)
noir_tests/argpromo_two_sites 188376 27892 -160484 (-85.2%)
noir_tests/array_fun 190012 29528 -160484 (-84.5%)
noir_tests/array_lookup 221930 61446 -160484 (-72.3%)
noir_tests/array_lookup_nd 246149 85665 -160484 (-65.2%)
noir_tests/array_mul 190422 29938 -160484 (-84.3%)
noir_tests/array_nested 204565 44081 -160484 (-78.5%)
noir_tests/array_of_structs 192881 32397 -160484 (-83.2%)
noir_tests/array_of_structs_2 195179 34695 -160484 (-82.2%)
noir_tests/array_of_structs_3 220969 60485 -160484 (-72.6%)
noir_tests/array_of_structs_4 250663 90179 -160484 (-64.0%)
noir_tests/array_of_structs_mini 187498 27014 -160484 (-85.6%)
noir_tests/big_tuple 194754 34270 -160484 (-82.4%)
noir_tests/binary_wit 241803 81319 -160484 (-66.4%)
noir_tests/cast_signed_unsigned 220529 60045 -160484 (-72.8%)
noir_tests/cond_rangecheck 258247 97763 -160484 (-62.1%)
noir_tests/cond_rangecheck_inactive 258247 97763 -160484 (-62.1%)
noir_tests/congruent_witness_comparison 208537 48053 -160484 (-77.0%)
noir_tests/fibonacci 188164 27680 -160484 (-85.3%)
noir_tests/field_lt 185231 24747 -160484 (-86.6%)
noir_tests/higher_order_fns 257010 96526 -160484 (-62.4%)
noir_tests/int_divmod 204356 43872 -160484 (-78.5%)
noir_tests/just_add 187605 27121 -160484 (-85.5%)
noir_tests/lambda_array 190301 29817 -160484 (-84.3%)
noir_tests/mem2reg_array_phi 197555 37071 -160484 (-81.2%)
noir_tests/mem2reg_phi_merge 195994 35510 -160484 (-81.9%)
noir_tests/mut_array_loop 190022 29538 -160484 (-84.5%)
noir_tests/nested_ref_witness_store 187049 26565 -160484 (-85.8%)
noir_tests/passport_01_compare_age 754027 593543 -160484 (-21.3%)
noir_tests/passport_02_check_expiry 729301 568817 -160484 (-22.0%)
noir_tests/passport_03_check_dg1_hash_within_sod 625594 465110 -160484 (-25.7%)
noir_tests/passport_04_check_sod_integrity 624761 464277 -160484 (-25.7%)
noir_tests/passport_05_check_dsc_signature 1347066 1182154 -164912 (-12.2%)
noir_tests/passport_06_check_dsc_pubkey_in_cert 234413 73929 -160484 (-68.5%)
noir_tests/passport_07_check_csc_signature 1655551 1490639 -164912 (-10.0%)
noir_tests/passport_08_complete_age_check 3410030 3245118 -164912 (-4.8%)
noir_tests/power 187608 27124 -160484 (-85.5%)
noir_tests/pre_cross_branch_join 202359 41875 -160484 (-79.3%)
noir_tests/pre_guarded_div_hoist 200462 39978 -160484 (-80.1%)
noir_tests/pre_licm_speculation 187983 27499 -160484 (-85.4%)
noir_tests/pre_nested_loop_hoist 190225 29741 -160484 (-84.4%)
noir_tests/pre_untaint_chain_speculation 192588 32104 -160484 (-83.3%)
noir_tests/recursion 194108 33624 -160484 (-82.7%)
noir_tests/ref_param_witness_store 186621 26137 -160484 (-86.0%)
noir_tests/ref_return_alias 186422 25938 -160484 (-86.1%)
noir_tests/ref_return_chain 186028 25544 -160484 (-86.3%)
noir_tests/ref_return_write 206680 46196 -160484 (-77.6%)
noir_tests/replace_poseidon 244792 84308 -160484 (-65.6%)
noir_tests/sha256 331195 170711 -160484 (-48.5%)
noir_tests/sha256_var 370849 210365 -160484 (-43.3%)
noir_tests/signed_basic 234766 74282 -160484 (-68.4%)
noir_tests/signed_lt 250560 90076 -160484 (-64.1%)
noir_tests/spread_and_cast 240549 80065 -160484 (-66.7%)
noir_tests/sroa_const_index 187525 27041 -160484 (-85.6%)
noir_tests/sroa_dynamic_index 207012 46528 -160484 (-77.5%)
noir_tests/struct 192819 32335 -160484 (-83.2%)
noir_tests/struct_literals 190431 29947 -160484 (-84.3%)
noir_tests/struct_through_ref_helper 188577 28093 -160484 (-85.1%)
noir_tests/tuple_ref_proj 193748 33264 -160484 (-82.8%)
noir_tests/unconstrained_cross_block 186294 25810 -160484 (-86.1%)
noir_tests/unconstrained_sqrt 189779 29295 -160484 (-84.6%)
noir_tests/witness_array_select 199251 38767 -160484 (-80.5%)
noir/test_programs/execution_success/a_1327_concrete_in_generic 187264 26780 -160484 (-85.7%)
noir/test_programs/execution_success/a_1_mul 201801 41317 -160484 (-79.5%)
noir/test_programs/execution_success/a_2_div 202501 42017 -160484 (-79.3%)
noir/test_programs/execution_success/a_3_add 200399 39915 -160484 (-80.1%)
noir/test_programs/execution_success/a_4_sub 261340 100856 -160484 (-61.4%)
noir/test_programs/execution_success/a_5_over 269998 109514 -160484 (-59.4%)
noir/test_programs/execution_success/a_6 378498 218014 -160484 (-42.4%)
noir/test_programs/execution_success/a_6_array 293943 133459 -160484 (-54.6%)
noir/test_programs/execution_success/arithmetic_binary_operations 262832 102348 -160484 (-61.1%)
noir/test_programs/execution_success/array_dedup_regression 199092 38608 -160484 (-80.6%)
noir/test_programs/execution_success/array_dynamic_blackbox_input 406779 246295 -160484 (-39.5%)
noir/test_programs/execution_success/array_dynamic_main_output 218974 58490 -160484 (-73.3%)
noir/test_programs/execution_success/array_eq 199392 38908 -160484 (-80.5%)
noir/test_programs/execution_success/array_if_cond_simple 247026 86542 -160484 (-65.0%)
noir/test_programs/execution_success/array_len 210114 49630 -160484 (-76.4%)
noir/test_programs/execution_success/array_neq 199808 39324 -160484 (-80.3%)
noir/test_programs/execution_success/array_of_references_in_loop 193635 33151 -160484 (-82.9%)
noir/test_programs/execution_success/array_oob_regression_7965 201219 40735 -160484 (-79.8%)
noir/test_programs/execution_success/array_oob_regression_7975 194604 34120 -160484 (-82.5%)
noir/test_programs/execution_success/array_rc_regression_7842 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/array_set_not_deduplicated 186443 25959 -160484 (-86.1%)
noir/test_programs/execution_success/array_with_refs_from_param 192226 31742 -160484 (-83.5%)
noir/test_programs/execution_success/array_with_refs_return 200652 40168 -160484 (-80.0%)
noir/test_programs/execution_success/as_witness 186740 26256 -160484 (-85.9%)
noir/test_programs/execution_success/assert 185884 25400 -160484 (-86.3%)
noir/test_programs/execution_success/assert_statement 187268 26784 -160484 (-85.7%)
noir/test_programs/execution_success/assign_ex 187717 27233 -160484 (-85.5%)
noir/test_programs/execution_success/bench_2_to_17 240446 79962 -160484 (-66.7%)
noir/test_programs/execution_success/bit_and 312875 152391 -160484 (-51.3%)
noir/test_programs/execution_success/bit_not 200486 40002 -160484 (-80.0%)
noir/test_programs/execution_success/bit_shifts_u128 219873 54961 -164912 (-75.0%)
noir/test_programs/execution_success/blake3 377947 217463 -160484 (-42.5%)
noir/test_programs/execution_success/bool_not 190595 30111 -160484 (-84.2%)
noir/test_programs/execution_success/bool_or 193301 32817 -160484 (-83.0%)
noir/test_programs/execution_success/break_and_continue 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/brillig_acir_as_brillig 198174 37690 -160484 (-81.0%)
noir/test_programs/execution_success/brillig_array_ifelse 200386 39902 -160484 (-80.1%)
noir/test_programs/execution_success/brillig_arrays 184815 24331 -160484 (-86.8%)
noir/test_programs/execution_success/brillig_block_parameter_liveness 550086 389602 -160484 (-29.2%)
noir/test_programs/execution_success/brillig_calls 198174 37690 -160484 (-81.0%)
noir/test_programs/execution_success/brillig_calls_array 201935 41451 -160484 (-79.5%)
noir/test_programs/execution_success/brillig_calls_conditionals 204533 44049 -160484 (-78.5%)
noir/test_programs/execution_success/brillig_conditional 193275 32791 -160484 (-83.0%)
noir/test_programs/execution_success/brillig_constant_reference_regression 201589 41105 -160484 (-79.6%)
noir/test_programs/execution_success/brillig_cow 200023 39539 -160484 (-80.2%)
noir/test_programs/execution_success/brillig_cow_assign 184400 23916 -160484 (-87.0%)
noir/test_programs/execution_success/brillig_entry_points_regression_8069 198801 38317 -160484 (-80.7%)
noir/test_programs/execution_success/brillig_fns_as_values 201747 41263 -160484 (-79.5%)
noir/test_programs/execution_success/brillig_identity_function 190570 30086 -160484 (-84.2%)
noir/test_programs/execution_success/brillig_large_array 199092 38608 -160484 (-80.6%)
noir/test_programs/execution_success/brillig_large_nested_array 199092 38608 -160484 (-80.6%)
noir/test_programs/execution_success/brillig_loop_size_regression 186045 25561 -160484 (-86.3%)
noir/test_programs/execution_success/brillig_nested_arrays 205787 45303 -160484 (-78.0%)
noir/test_programs/execution_success/brillig_not 197545 37061 -160484 (-81.2%)
noir/test_programs/execution_success/brillig_rc_regression_6123 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/brillig_recursion 200566 40082 -160484 (-80.0%)
noir/test_programs/execution_success/brillig_recursive_main 203210 42726 -160484 (-79.0%)
noir/test_programs/execution_success/brillig_recursive_main_indirect 203295 42811 -160484 (-78.9%)
noir/test_programs/execution_success/brillig_uninitialized_arrays 306780 146296 -160484 (-52.3%)
noir/test_programs/execution_success/cast_bool 193903 33419 -160484 (-82.8%)
noir/test_programs/execution_success/cast_signed_to_u1 240092 79608 -160484 (-66.8%)
noir/test_programs/execution_success/cast_to_i8_regression_7776 255344 94860 -160484 (-62.9%)
noir/test_programs/execution_success/cast_to_u64_regression_7776 264958 104474 -160484 (-60.6%)
noir/test_programs/execution_success/cast_to_u8_regression_7776 255344 94860 -160484 (-62.9%)
noir/test_programs/execution_success/clone_index_field_dereference 200061 39577 -160484 (-80.2%)
noir/test_programs/execution_success/clone_index_object_dereference_1 200061 39577 -160484 (-80.2%)
noir/test_programs/execution_success/clone_index_object_dereference_2 200061 39577 -160484 (-80.2%)
noir/test_programs/execution_success/closures_mut_ref 189336 28852 -160484 (-84.8%)
noir/test_programs/execution_success/comptime_closure_bindings_2 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/comptime_generics_binding 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/comptime_println 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/comptime_println_fmtstr_with_quoted 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/comptime_quoted_hash 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/comptime_trait_constraint_hash_and_eq 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/comptime_variable_at_runtime 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/conditional_1 555326 394842 -160484 (-28.9%)
noir/test_programs/execution_success/conditional_2 219269 58785 -160484 (-73.2%)
noir/test_programs/execution_success/conditional_regression_421 213502 53018 -160484 (-75.2%)
noir/test_programs/execution_success/conditional_regression_547 190751 30267 -160484 (-84.1%)
noir/test_programs/execution_success/conditional_regression_661 216462 55978 -160484 (-74.1%)
noir/test_programs/execution_success/conditional_regression_short_circuit 400119 239635 -160484 (-40.1%)
noir/test_programs/execution_success/conditional_regression_underflow 195613 35129 -160484 (-82.0%)
noir/test_programs/execution_success/custom_entry 185884 25400 -160484 (-86.3%)
noir/test_programs/execution_success/databus 209510 49026 -160484 (-76.6%)
noir/test_programs/execution_success/databus_composite_calldata 268960 108476 -160484 (-59.7%)
noir/test_programs/execution_success/databus_two_calldata 239760 79276 -160484 (-66.9%)
noir/test_programs/execution_success/databus_two_calldata_simple 217441 56957 -160484 (-73.8%)
noir/test_programs/execution_success/debug_logs 184663 24179 -160484 (-86.9%)
noir/test_programs/execution_success/debug_name_no_conflict 185655 25171 -160484 (-86.4%)
noir/test_programs/execution_success/diamond_deps_0 188337 27853 -160484 (-85.2%)
noir/test_programs/execution_success/division_by_max 206401 45917 -160484 (-77.8%)
noir/test_programs/execution_success/do_not_capture_comptime_locals 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/dont_deduplicate_call 194232 33748 -160484 (-82.6%)
noir/test_programs/execution_success/double_neg_cond_bool_input 191679 31195 -160484 (-83.7%)
noir/test_programs/execution_success/double_neg_cond_global_var 188069 27585 -160484 (-85.3%)
noir/test_programs/execution_success/dual_constrained_lambdas 190805 30321 -160484 (-84.1%)
noir/test_programs/execution_success/encrypted_log_regression 248134 87650 -160484 (-64.7%)
noir/test_programs/execution_success/field_attribute 200063 39579 -160484 (-80.2%)
noir/test_programs/execution_success/fmtstr_with_global 184564 24080 -160484 (-87.0%)
noir/test_programs/execution_success/fold_2_to_17 237750 77266 -160484 (-67.5%)
noir/test_programs/execution_success/fold_after_inlined_calls 199806 39322 -160484 (-80.3%)
noir/test_programs/execution_success/fold_basic 194044 33560 -160484 (-82.7%)
noir/test_programs/execution_success/fold_basic_nested_call 194506 34022 -160484 (-82.5%)
noir/test_programs/execution_success/fold_call_witness_condition 204281 43797 -160484 (-78.6%)
noir/test_programs/execution_success/fold_complex_outputs 233479 72995 -160484 (-68.7%)
noir/test_programs/execution_success/fold_distinct_return 199654 39170 -160484 (-80.4%)
noir/test_programs/execution_success/fold_numeric_generic_poseidon 325968 165484 -160484 (-49.2%)
noir/test_programs/execution_success/for_loop_inclusive_empty_range 200151 39667 -160484 (-80.2%)
noir/test_programs/execution_success/for_loop_inclusive_with_break 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/generics 192761 32277 -160484 (-83.3%)
noir/test_programs/execution_success/global_array_rc_regression_8259 205089 44605 -160484 (-78.3%)
noir/test_programs/execution_success/global_consts 217203 56719 -160484 (-73.9%)
noir/test_programs/execution_success/global_nested_array_call_arg_regression 219735 59251 -160484 (-73.0%)
noir/test_programs/execution_success/global_nested_array_regression_9270 211759 51275 -160484 (-75.8%)
noir/test_programs/execution_success/global_var_entry_point_used_in_another_entry 185229 24745 -160484 (-86.6%)
noir/test_programs/execution_success/global_var_func_with_multiple_entry_points 185229 24745 -160484 (-86.6%)
noir/test_programs/execution_success/global_var_multiple_entry_points_nested 185041 24557 -160484 (-86.7%)
noir/test_programs/execution_success/global_var_regression_entry_points 2326998 2166514 -160484 (-6.9%)
noir/test_programs/execution_success/global_var_regression_simple 237383 76899 -160484 (-67.6%)
noir/test_programs/execution_success/global_vector_rc_regression_8259 187434 26950 -160484 (-85.6%)
noir/test_programs/execution_success/higher_order_functions 202247 41763 -160484 (-79.4%)
noir/test_programs/execution_success/if_else_chain 219604 59120 -160484 (-73.1%)
noir/test_programs/execution_success/inline_never_basic 193864 33380 -160484 (-82.8%)
noir/test_programs/execution_success/integer_array_indexing 205038 44554 -160484 (-78.3%)
noir/test_programs/execution_success/lambda_env_is_copied 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/lambda_taking_lambda_with_variant 201763 41279 -160484 (-79.5%)
noir/test_programs/execution_success/last_uses_regression_8935 196400 35916 -160484 (-81.7%)
noir/test_programs/execution_success/local_module_does_not_conflict_with_debugger 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/loop 202931 42447 -160484 (-79.1%)
noir/test_programs/execution_success/loop_break_regression_8319 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/loop_carried_aliases 191546 31062 -160484 (-83.8%)
noir/test_programs/execution_success/loop_invariant_nested_deep 189984 29500 -160484 (-84.5%)
noir/test_programs/execution_success/loop_invariant_regression 236702 76218 -160484 (-67.8%)
noir/test_programs/execution_success/loop_invariant_regression_8586 189984 29500 -160484 (-84.5%)
noir/test_programs/execution_success/loop_small_break 184519 24035 -160484 (-87.0%)
noir/test_programs/execution_success/main_bool_arg 199543 39059 -160484 (-80.4%)
noir/test_programs/execution_success/main_return 186740 26256 -160484 (-85.9%)
noir/test_programs/execution_success/missing_closure_env 187184 26700 -160484 (-85.7%)
noir/test_programs/execution_success/modules 193868 33384 -160484 (-82.8%)
noir/test_programs/execution_success/modules_more 193868 33384 -160484 (-82.8%)
noir/test_programs/execution_success/modulus 219627 59143 -160484 (-73.1%)
noir/test_programs/execution_success/mutate_array_copy 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/negated_jmpif_condition 194219 33735 -160484 (-82.6%)
noir/test_programs/execution_success/negative_associated_constants 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/nested_array_call_arg_regression 219380 58896 -160484 (-73.2%)
noir/test_programs/execution_success/nested_array_dynamic_simple 222033 61549 -160484 (-72.3%)
noir/test_programs/execution_success/nested_array_with_refs 191656 31172 -160484 (-83.7%)
noir/test_programs/execution_success/nested_array_with_refs_from_param 192668 32184 -160484 (-83.3%)
noir/test_programs/execution_success/nested_array_with_refs_return 201522 41038 -160484 (-79.6%)
noir/test_programs/execution_success/nested_arrays_from_brillig 198213 37729 -160484 (-81.0%)
noir/test_programs/execution_success/nested_dyn_array_regression_5782 229408 68924 -160484 (-70.0%)
noir/test_programs/execution_success/nested_fmtstr 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/nested_if_then_block_same_cond 204717 44233 -160484 (-78.4%)
noir/test_programs/execution_success/no_predicates_basic 193864 33380 -160484 (-82.8%)
noir/test_programs/execution_success/no_predicates_brillig 200151 39667 -160484 (-80.2%)
noir/test_programs/execution_success/no_predicates_numeric_generic_poseidon 325968 165484 -160484 (-49.2%)
noir/test_programs/execution_success/numeric_type_alias 292918 132434 -160484 (-54.8%)
noir/test_programs/execution_success/op_assign_desugaring 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/pred_eq 193818 33334 -160484 (-82.8%)
noir/test_programs/execution_success/print_composite_array 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/reference_alias_in_array 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/reference_cancelling 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/reference_only_used_as_alias 207318 46834 -160484 (-77.4%)
noir/test_programs/execution_success/references 206557 46073 -160484 (-77.7%)
noir/test_programs/execution_success/regression_10008 205007 44523 -160484 (-78.3%)
noir/test_programs/execution_success/regression_10141 206463 45979 -160484 (-77.7%)
noir/test_programs/execution_success/regression_10158 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_10180 202887 42403 -160484 (-79.1%)
noir/test_programs/execution_success/regression_10197 199092 38608 -160484 (-80.6%)
noir/test_programs/execution_success/regression_10307 205975 45491 -160484 (-77.9%)
noir/test_programs/execution_success/regression_10452 185242 24758 -160484 (-86.6%)
noir/test_programs/execution_success/regression_10466 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_10516 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_10917 192654 32170 -160484 (-83.3%)
noir/test_programs/execution_success/regression_10923 194758 34274 -160484 (-82.4%)
noir/test_programs/execution_success/regression_11048 226184 65700 -160484 (-71.0%)
noir/test_programs/execution_success/regression_11294 250568 90084 -160484 (-64.0%)
noir/test_programs/execution_success/regression_1144_1169_2399_6609 490201 329717 -160484 (-32.7%)
noir/test_programs/execution_success/regression_11484 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_11540 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_11659 301335 140851 -160484 (-53.3%)
noir/test_programs/execution_success/regression_11889 265175 104691 -160484 (-60.5%)
noir/test_programs/execution_success/regression_12149 199573 39089 -160484 (-80.4%)
noir/test_programs/execution_success/regression_2660 210424 49940 -160484 (-76.3%)
noir/test_programs/execution_success/regression_3051 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_3394 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_3607 214495 54011 -160484 (-74.8%)
noir/test_programs/execution_success/regression_3889 187931 27447 -160484 (-85.4%)
noir/test_programs/execution_success/regression_4088 186390 25906 -160484 (-86.1%)
noir/test_programs/execution_success/regression_4124 189827 29343 -160484 (-84.5%)
noir/test_programs/execution_success/regression_4202 203774 43290 -160484 (-78.8%)
noir/test_programs/execution_success/regression_4449 376234 215750 -160484 (-42.7%)
noir/test_programs/execution_success/regression_4663 221916 61432 -160484 (-72.3%)
noir/test_programs/execution_success/regression_4709 2367793 2207309 -160484 (-6.8%)
noir/test_programs/execution_success/regression_5435 188089 27605 -160484 (-85.3%)
noir/test_programs/execution_success/regression_5615 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_6451 199177 38693 -160484 (-80.6%)
noir/test_programs/execution_success/regression_6674_1 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_6674_2 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_6674_3 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_6734 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_6834 226807 66323 -160484 (-70.8%)
noir/test_programs/execution_success/regression_6990 184972 24488 -160484 (-86.8%)
noir/test_programs/execution_success/regression_7128 259109 98625 -160484 (-61.9%)
noir/test_programs/execution_success/regression_7143 209550 49066 -160484 (-76.6%)
noir/test_programs/execution_success/regression_7195 196474 35990 -160484 (-81.7%)
noir/test_programs/execution_success/regression_7451 212487 52003 -160484 (-75.5%)
noir/test_programs/execution_success/regression_7612 218479 57995 -160484 (-73.5%)
noir/test_programs/execution_success/regression_7836 219520 59036 -160484 (-73.1%)
noir/test_programs/execution_success/regression_7962 222453 61969 -160484 (-72.1%)
noir/test_programs/execution_success/regression_8174 220059 59575 -160484 (-72.9%)
noir/test_programs/execution_success/regression_8212 204799 44315 -160484 (-78.4%)
noir/test_programs/execution_success/regression_8235 193085 32601 -160484 (-83.1%)
noir/test_programs/execution_success/regression_8236 236111 75627 -160484 (-68.0%)
noir/test_programs/execution_success/regression_8261 227089 66605 -160484 (-70.7%)
noir/test_programs/execution_success/regression_8329 197754 37270 -160484 (-81.2%)
noir/test_programs/execution_success/regression_8519 258027 97543 -160484 (-62.2%)
noir/test_programs/execution_success/regression_8558 210138 49654 -160484 (-76.4%)
noir/test_programs/execution_success/regression_8662 199177 38693 -160484 (-80.6%)
noir/test_programs/execution_success/regression_8726 232215 71731 -160484 (-69.1%)
noir/test_programs/execution_success/regression_8729 189450 28966 -160484 (-84.7%)
noir/test_programs/execution_success/regression_8739 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_8755 189461 28977 -160484 (-84.7%)
noir/test_programs/execution_success/regression_8761 186421 25937 -160484 (-86.1%)
noir/test_programs/execution_success/regression_8874 201225 40741 -160484 (-79.8%)
noir/test_programs/execution_success/regression_8890 195502 35018 -160484 (-82.1%)
noir/test_programs/execution_success/regression_8926 204253 43769 -160484 (-78.6%)
noir/test_programs/execution_success/regression_8975 190739 30255 -160484 (-84.1%)
noir/test_programs/execution_success/regression_9037 196700 36216 -160484 (-81.6%)
noir/test_programs/execution_success/regression_9047 201761 41277 -160484 (-79.5%)
noir/test_programs/execution_success/regression_9102 197460 36976 -160484 (-81.3%)
noir/test_programs/execution_success/regression_9116 187936 27452 -160484 (-85.4%)
noir/test_programs/execution_success/regression_9119 192738 32254 -160484 (-83.3%)
noir/test_programs/execution_success/regression_9160 196809 36325 -160484 (-81.5%)
noir/test_programs/execution_success/regression_9193 201225 40741 -160484 (-79.8%)
noir/test_programs/execution_success/regression_9206 201975 41491 -160484 (-79.5%)
noir/test_programs/execution_success/regression_9208 211562 51078 -160484 (-75.9%)
noir/test_programs/execution_success/regression_9243 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_9271 191783 31299 -160484 (-83.7%)
noir/test_programs/execution_success/regression_9294 184636 24152 -160484 (-86.9%)
noir/test_programs/execution_success/regression_9303 196116 35632 -160484 (-81.8%)
noir/test_programs/execution_success/regression_9329 201766 41282 -160484 (-79.5%)
noir/test_programs/execution_success/regression_9415 199092 38608 -160484 (-80.6%)
noir/test_programs/execution_success/regression_9439 199092 38608 -160484 (-80.6%)
noir/test_programs/execution_success/regression_9455 187248 26764 -160484 (-85.7%)
noir/test_programs/execution_success/regression_9538 210210 49726 -160484 (-76.3%)
noir/test_programs/execution_success/regression_9546 198486 38002 -160484 (-80.9%)
noir/test_programs/execution_success/regression_9594 204258 43774 -160484 (-78.6%)
noir/test_programs/execution_success/regression_9657 199092 38608 -160484 (-80.6%)
noir/test_programs/execution_success/regression_9725_1 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_9725_2 190439 29955 -160484 (-84.3%)
noir/test_programs/execution_success/regression_9758 193486 33002 -160484 (-82.9%)
noir/test_programs/execution_success/regression_9804 212780 52296 -160484 (-75.4%)
noir/test_programs/execution_success/regression_9888 201840 41356 -160484 (-79.5%)
noir/test_programs/execution_success/regression_9907 191912 31428 -160484 (-83.6%)
noir/test_programs/execution_success/regression_9971 231035 70551 -160484 (-69.5%)
noir/test_programs/execution_success/regression_brillig_const_fold_self_dedup 192535 32051 -160484 (-83.4%)
noir/test_programs/execution_success/regression_brillig_ref_deref_crash 189201 28717 -160484 (-84.8%)
noir/test_programs/execution_success/regression_inner_if_else_collapse 196300 35816 -160484 (-81.8%)
noir/test_programs/execution_success/regression_licm_induction_var 187248 26764 -160484 (-85.7%)
noir/test_programs/execution_success/regression_loop_unroll_header_instructions 194154 33670 -160484 (-82.7%)
noir/test_programs/execution_success/regression_mem2reg_make_array_of_refs 191564 31080 -160484 (-83.8%)
noir/test_programs/execution_success/regression_mem2reg_unknown_array_aliases 191694 31210 -160484 (-83.7%)
noir/test_programs/execution_success/regression_method_cannot_be_found 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_struct_array_conditional 236353 75869 -160484 (-67.9%)
noir/test_programs/execution_success/regression_truncate_unchecked_sub 209177 48693 -160484 (-76.7%)
noir/test_programs/execution_success/regression_unroll_body_break 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/regression_unsafe_no_predicates 206023 45539 -160484 (-77.9%)
noir/test_programs/execution_success/return_twice 190317 29833 -160484 (-84.3%)
noir/test_programs/execution_success/shift_right_overflow 195613 35129 -160484 (-82.0%)
noir/test_programs/execution_success/shl_signed_regression_9661 196550 36066 -160484 (-81.7%)
noir/test_programs/execution_success/side_effects_constrain_array 203565 43081 -160484 (-78.8%)
noir/test_programs/execution_success/signed_arithmetic 261400 100916 -160484 (-61.4%)
noir/test_programs/execution_success/signed_bitshift 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/signed_cmp 223141 62657 -160484 (-71.9%)
noir/test_programs/execution_success/signed_comparison 264508 104024 -160484 (-60.7%)
noir/test_programs/execution_success/signed_div 220410 59926 -160484 (-72.8%)
noir/test_programs/execution_success/signed_division 317863 157379 -160484 (-50.5%)
noir/test_programs/execution_success/signed_inactive_division_by_zero 235850 75366 -160484 (-68.0%)
noir/test_programs/execution_success/signed_integer_or_max 210126 49642 -160484 (-76.4%)
noir/test_programs/execution_success/signed_overflow_in_else_regression_8617 224070 63586 -160484 (-71.6%)
noir/test_programs/execution_success/signed_truncation 230758 70274 -160484 (-69.5%)
noir/test_programs/execution_success/simple_2d_array 204766 44282 -160484 (-78.4%)
noir/test_programs/execution_success/simple_add_and_ret_arr 188323 27839 -160484 (-85.2%)
noir/test_programs/execution_success/simple_array_param 190399 29915 -160484 (-84.3%)
noir/test_programs/execution_success/simple_bitwise 210350 49866 -160484 (-76.3%)
noir/test_programs/execution_success/simple_comparison 302865 142381 -160484 (-53.0%)
noir/test_programs/execution_success/simple_mut 186985 26501 -160484 (-85.8%)
noir/test_programs/execution_success/simple_not 192078 31594 -160484 (-83.6%)
noir/test_programs/execution_success/simple_print 184663 24179 -160484 (-86.9%)
noir/test_programs/execution_success/simple_program_addition 186971 26487 -160484 (-85.8%)
noir/test_programs/execution_success/simple_shift_left_right 208316 47832 -160484 (-77.0%)
noir/test_programs/execution_success/struct 195960 35476 -160484 (-81.9%)
noir/test_programs/execution_success/struct_array_inputs 192453 31969 -160484 (-83.4%)
noir/test_programs/execution_success/struct_assignment_with_shared_ref_to_field 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/struct_fields_ordering 203247 42763 -160484 (-79.0%)
noir/test_programs/execution_success/submodules 192809 32325 -160484 (-83.2%)
noir/test_programs/execution_success/to_be_bytes 269876 109392 -160484 (-59.5%)
noir/test_programs/execution_success/to_bytes_consistent 227181 66697 -160484 (-70.6%)
noir/test_programs/execution_success/to_le_bytes 264013 103529 -160484 (-60.8%)
noir/test_programs/execution_success/trait_as_return_type 199092 38608 -160484 (-80.6%)
noir/test_programs/execution_success/trait_associated_constant 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/trait_impl_base_type 201436 40952 -160484 (-79.7%)
noir/test_programs/execution_success/traits_in_crates_1 187018 26534 -160484 (-85.8%)
noir/test_programs/execution_success/traits_in_crates_2 187018 26534 -160484 (-85.8%)
noir/test_programs/execution_success/tuple_inputs 304973 144489 -160484 (-52.6%)
noir/test_programs/execution_success/tuples 191720 31236 -160484 (-83.7%)
noir/test_programs/execution_success/type_aliases 197558 37074 -160484 (-81.2%)
noir/test_programs/execution_success/unary_operator_overloading 211822 51338 -160484 (-75.8%)
noir/test_programs/execution_success/unroll_loop_regression 196879 36395 -160484 (-81.5%)
noir/test_programs/execution_success/unrolling_regression_8333 260556 100072 -160484 (-61.6%)
noir/test_programs/execution_success/unsafe_range_constraint 200690 40206 -160484 (-80.0%)
noir/test_programs/execution_success/unsigned_to_signed_cast 230752 70268 -160484 (-69.5%)
noir/test_programs/execution_success/vector_coercion 189049 28565 -160484 (-84.9%)
noir/test_programs/execution_success/vector_loop 196114 35630 -160484 (-81.8%)
noir/test_programs/execution_success/while_cond_clone_regression 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_success/while_loop_break_regression_8521 207679 47195 -160484 (-77.3%)
noir/test_programs/execution_success/wildcard_type 203505 43021 -160484 (-78.9%)
noir/test_programs/execution_success/witness_compression 195400 34916 -160484 (-82.1%)
noir/test_programs/execution_success/workspace_default_member 186740 26256 -160484 (-85.9%)
noir/test_programs/execution_success/wrapping_operations 297631 137147 -160484 (-53.9%)
noir/test_programs/execution_success/xor 220457 59973 -160484 (-72.8%)
noir/test_programs/execution_failure/brillig_assert_fail 192851 32367 -160484 (-83.2%)
noir/test_programs/execution_failure/brillig_assert_msg_runtime 188642 28158 -160484 (-85.1%)
noir/test_programs/execution_failure/brillig_entry_points_shared_recursive 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_failure/div_by_zero_constants 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_failure/div_by_zero_numerator_witness 184519 24035 -160484 (-87.0%)
noir/test_programs/execution_failure/div_by_zero_witness 184663 24179 -160484 (-86.9%)
noir/test_programs/execution_failure/fold_nested_brillig_assert_fail 193529 33045 -160484 (-82.9%)
noir/test_programs/execution_failure/invalid_comptime_bytes_decomposition 197954 37470 -160484 (-81.1%)
noir/test_programs/execution_failure/mutually_recursive_simple_functions 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_failure/regression_10238 221266 60782 -160484 (-72.5%)
noir/test_programs/execution_failure/regression_10929 234058 73574 -160484 (-68.6%)
noir/test_programs/execution_failure/regression_7128 260687 100203 -160484 (-61.6%)
noir/test_programs/execution_failure/regression_8229 207404 46920 -160484 (-77.4%)
noir/test_programs/execution_failure/regression_8230 186034 25550 -160484 (-86.3%)
noir/test_programs/execution_failure/regression_8231 209798 49314 -160484 (-76.5%)
noir/test_programs/execution_failure/regression_9904 196546 36062 -160484 (-81.7%)
noir/test_programs/execution_failure/regression_bitshift_normalization 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_failure/shl_overflow_u64 204543 44059 -160484 (-78.5%)
noir/test_programs/execution_failure/shl_signed_regression_9592 201763 41279 -160484 (-79.5%)
noir/test_programs/execution_failure/shr_overflow_u64 204543 44059 -160484 (-78.5%)
noir/test_programs/execution_failure/signed_division_by_minus_one_overflow 196463 35979 -160484 (-81.7%)
noir/test_programs/execution_failure/signed_modulo_by_minus_one_overflow 196463 35979 -160484 (-81.7%)
noir/test_programs/execution_failure/simple_infinite_recursive_function 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_failure/simple_infinite_recursive_lambda 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_failure/u128_multiplication_overflow 224851 64367 -160484 (-71.4%)
noir/test_programs/execution_failure/unused_array_get_unknown_index_out_of_bounds 199092 38608 -160484 (-80.6%)
noir/test_programs/execution_failure/unused_array_set_unknown_index_out_of_bounds 199092 38608 -160484 (-80.6%)
noir/test_programs/execution_failure/unused_vector_get_known_index_out_of_bounds 184370 23886 -160484 (-87.0%)
noir/test_programs/execution_failure/unused_vector_get_unknown_index_out_of_bounds 199092 38608 -160484 (-80.6%)

No size growth detected.

Comparison Base Details

Compared against: Committed STATUS.md at 86e544d (MavrosBot)

@reilabs reilabs deleted a comment from github-actions Bot Jul 15, 2026
@reilabs reilabs deleted a comment from github-actions Bot Jul 15, 2026
iamrecursion
iamrecursion approved these changes Jul 15, 2026
View reviewed changes

@iamrecursion iamrecursion left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This looks great!

@veljkovranic
veljkovranic merged commit 3734f0b into main Jul 15, 2026
6 checks passed
@veljkovranic
veljkovranic deleted the source_location_final branch July 15, 2026 12:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@iamrecursion iamrecursion iamrecursion approved these changes

Assignees

@veljkovranic veljkovranic

Labels

enhancement New feature or request

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@veljkovranic @iamrecursion